F  where
   F = 1 fby F + (0 fby F);
  end
